7.4.1 Derivation of useful results of cross products